机译:使用Chi和Uppaal进行基于模型的系统分析:一个工业案例研究
机译:使用UPPAAL的系统的正式规范和验证:以防御型导弹系统为例
机译:一种基于模型的工业自动化系统能源成本分析的方法
机译:一项工业案例研究的经验报告,关于使用UPPAAL-TRON进行基于模型的定时测试
机译:利用与1999年台湾集集地震相关的地震数据对地壳各向异性和衰减进行系统分析。
机译:可靠性和安全性。工业环境中系统的人机工程学因素。工业生理学和心理学研究。 7号研究
机译:T-Uppaal:基于在线模型的实时系统测试